#include <cppheader.h>

/* Useage:  */

int main(int argc,char*argv[]){
    printf("Hello world\n");
    return 0;
}

